An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...) results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics. (shrink)

Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d’aide à la lecture des articles fondateurs de Gerhard Gentzen. L’ouvrage introduit également aux trois principaux formalismes en usage : l’approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire et détaillée des résultats fondamentaux du (...) domaine : traduction de l’arithmétique classique vers l’arithmétique intuitionniste, élimination des coupures, théorème de normalisation et conduit ensuite pas à pas le lecteur vers l’exposé de la célèbre preuve de cohérence de Gentzen pour l’arithmétique de Peano du premier ordre. Il comble ainsi une importante lacune éditoriale en présentant à la fois la théorie structurelle et la théorie ordinale de la démonstration. (shrink)

The New Economic Windows Series, derived from Massimo Salzano's ideas and work, incorporates material from textbooks, monographs and conference proceedings that deals with both the theoretical and applied aspects of various sub-disciplines ...

ObjectiveThis study aims to evaluate the effectiveness of the MotivAir program—a phone-based intervention based on Motivational Interviewing principles and techniques—in enhancing adherence to Continuous Positive Airway Pressure therapy among patients with Obstructive Sleep Apnea Syndrome.MethodsA multicenter randomized controlled trial design with random allocation at the level of the individual will be conducted to compare the impact of the experimental program with a control group receiving usual care only in improving selected clinical and psychological parameters in the patients. A minimum sample (...) of 80 participants will be recruited in each center according to the inclusion criteria. After the initial screening, participants will be randomly assigned to either the experimental group or the control condition. The program will last 180 days and will be delivered by a trained nurse. The impact of the MotivAir program on selected primary and secondary outcomes will be measured at baseline, and after 1-, 3-, and 6-month from CPAP initiation.DiscussionParticipants are expected to show an increased level of adherence to CPAP and to acquire the skills and self-confidence necessary to deal with the psychological consequences of their chronic condition. (shrink)

One 1120 pages volume, with 4000 entries covering - Western philosophy: authors, schools, concepts and terminology; - religions, cultural anthropology, eastern philosophies; - Psychology and psychoanalysis; - linguistics and semiotics; - sociology and political theory.

The 'Enciclopedia Filosofica' is an encyclopaedia of philosophical topics promoted by the Centre for Philosophical Studies of Gallarate and published, in its third and last edition in 2006, by the Bompiani publishing house in Milan. The first edition of the 'Enciclopedia Filosofica' was promoted by the Centre for Philosophical Studies of Gallarate in the 1950s, seeing the light in 1957-58. A second edition, published by the Sansoni publishing house in Florence, was published in 1968-69 and reprinted in 1979. The third (...) and last edition, published by Bompiani in 2006, is intended to cover the whole of philosophical knowledge and related disciplines with over ten thousand entries edited by about a thousand academics, both Italian and non-Italian, and distributed in twelve volumes for a total of 12,496 pages. (shrink)

Implanting deep brain stimulation (DBS) electrodes in patients with Parkinson’s disease often results in the appearance of a non-infectious, delayed-onset edema that disappears over time. However, the time window between the DBS electrode and DBS stimulating device implant is often used to record local field potentials (LFPs) which are used both to better understand basal ganglia pathophysiology and to improve DBS therapy. In this work, we investigated whether the presence of post-surgery edema correlates with the quality of LFP recordings in (...) eight patients with advanced Parkinson’s disease implanted with subthalamic DBS electrodes. The magnetic resonance scans of the brain after 8.5 ± 1.5 days from the implantation surgery were segmented and the peri-electrode edema volume was calculated for both brain hemispheres. We found a correlation (ρ = −0.81, p < 0.0218, Spearman’s correlation coefficient) between left side local field potentials of the low beta band (11–20 Hz) and the edema volume of the same side. No other significant differences between the hemispheres were found. Despite the limited sample size, our results suggest that the effect on LFPs may be related to the edema localization, thus indicating a mechanism involving brain networks instead of a simple change in the electrode-tissue interface. (shrink)

'We desire all and only those things we conceive to be good; we avoid what we conceive to be bad.' This slogan was once the standard view of the relationship between desire or motivation and rational evaluation. Many critics have rejected this scholastic formula as either trivial or wrong. It appears to be trivial if we just define the good as 'what we want', and wrong if we consider apparent conflicts between what we seem to want and what we seem (...) to think is good. In Appearances of the Good, Sergio Tenenbaum argues that the old slogan is both significant and right, even in cases of apparent conflict between our desires and our evaluative judgements. Maintaining that the good is the formal end of practical inquiry in much the same way as truth is the formal end of theoretical inquiry, he provides a fully unified account of motivation and evaluation. (shrink)

Rational Powers in Action presents a conception of instrumental rationality as governing actions that are extended in time with indeterminate ends. Tenenbaum argues that previous philosophical theories in this area, in focusing on momentary snapshots of the mind of idealized agents, miss central aspects of human rationality.

A implementação de tecnologias móveis de informação e comunicação no suporte à Saúde Mental tem atraído a atenção das autoridades. Com a ascensão das Inteligências Artificiais, esse movimento pode ser impulsionado de maneira exponencial. Nesse cenário, esta revisão tem como objetivos verificar a aplicabilidade das Inteligências Artificiais (IAs) na Saúde Mental e analisar os aspectos que favorecem a relação entre IAs e usuários. Para tanto, realizou-se uma revisão sistemática nas bases de dados PubMed e Biblioteca Virtual em Saúde, no período (...) de 25 de maio a 23 de junho de 2023. Selecionamos os 100 primeiros artigos mais relevantes com as palavras-chave: “Inteligência Artificial”, “Saúde Mental”, “Chatbots”, “Psicoterapia”, “Psicologia” e suas equivalentes em inglês. Os critérios de inclusão foram: acesso aberto, publicação a partir de 2018, em português ou inglês e menção à atuação de IAs no âmbito da Saúde Mental. Para reduzir o risco de viés, excluímos os estudos que não mensuraram o impacto das intervenções por meio de métodos experimentais ou quase-experimentais. Para a síntese dos dados, delimitaram-se alguns pontos específicos de análise, como “Resultado da intervenção”, “Aspectos que favorecem a relação”, entre outros. Atenderam aos critérios de inclusão 24 estudos, dos quais 17 apresentaram resultados positivos em suas intervenções. O uso de IAs na Saúde Mental possui grande potencial de expansão e os resultados obtidos neste trabalho podem guiar a implementação dessas práticas e futuras pesquisas na área. (shrink)

In this paper we advance a new solution to Quinn’s puzzle of the self-torturer. The solution falls directly out of an application of the principle of instrumental reasoning to what we call “vague projects”, i.e., projects whose completion does not occur at any particular or definite point or moment. The resulting treatment of the puzzle extends our understanding of instrumental rationality to projects and ends that cannot be accommodated by orthodox theories of rational choice.

An effective method to increase the number of potential cadaveric organ donors is to make people donors by default with the option to opt out. This non-coercive public policy tool to influence people’s choices is often justified on the basis of the as-judged-by-themselves principle: people are nudged into choosing what they themselves truly want. We review three often hypothesized reasons for why defaults work and argue that the as-judged-by-themselves principle may hold only in two of these cases. We specify further (...) conditions for when the principle can hold in these cases and show that whether those conditions are met is often unclear. We recommend ways to expand nationwide surveys to identify the actual reasons for why defaults work and discuss mandated choice policy as a viable solution to many arising conundrums. (shrink)

Two Lagrangians L and L′ are equivalent if the equations of motion derived from them have the same set of solutions. In that case, a matrix Λ may be defined which has the property that the trace of any analytic function of Λ is a constant of the motion. We extend this trace theorem to the case of classical field theory and discuss some of the implications for quantum theory and for procedures for finding equivalent Lagrangians.

Definiciones de epistemología hay muchas, al igual que clases y estilos. Sin embargo, más allá de esta diversidad, es necesario contar con una definición básica que guíe nuestra comprensión del tema. Dos serán las preguntas que nos ayuden a ello en este artículo: a) ¿qué es la epistemología? y b) ¿para qué le sirve al científico?

A significant body of research concludes that stable beliefs of perceived consumer effectiveness lead to sustainable consumption choices. Consumers who believe that their decisions can significantly affect environmental and social issues are more likely to behave sustainably. Little is known, however, about how perceived consumer effectiveness can be increased. We find that feelings of guilt and pride, activated by a single consumption episode, can regulate sustainable consumption by affecting consumers’ general perception of effectiveness. This paper demonstrates the impact that guilt (...) and pride have on perceived consumer effectiveness and shows how this effect rests on the ability of these emotions to influence perceptions of agency. After experiencing guilt or pride, consumers see themselves as the cause of relevant sustainability outcomes. The process of causal attribution associated with these emotions influences consumers’ use of neutralization techniques. Through the reduction in consumers’ ability to neutralize their sense of personal responsibility, guilt and pride positively influence perceived consumer effectiveness. The inability to rationalize-away their personal responsibility, persuades consumers that they affect sustainability outcomes through their decisions. The research advances our understanding of sustainable consumption and identifies a new avenue for the regulation of individual consumer behavior that has significant implications for the development of sustainable marketing initiatives. (shrink)

Unresponsive wakefulness syndrome (UWS, previously known as vegetative state) occurs after patients survive a severe brain injury. Patients suffering from UWS have lost awareness of themselves and of the external environment and do not retain any trace of their subjective experience. Current data demonstrate that neuronal functions subtending consciousness are not completely reset in UWS; however, they are reduced below the threshold required to experience consciousness. The critical factor that determines whether patients will recover consciousness is the distance of their (...) neuronal functions from this threshold level. Recovery of consciousness occurs through functional and/or structural changes in the brain, i.e., through neuronal plasticity. Although some of these changes may occur spontaneously, a growing body of evidence indicates that rehabilitative interventions can improve functional outcome by promoting adaptive functional and structural plasticity in the brain, especially if a comprehensive neurophysiological theory of consciousness is followed. In this review we will focus on the pathophysiological mechanisms involved in UWS and on the plastic changes operating on the recovery of consciousness. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.

It is undeniable that human agents sometimes act badly, and it seems that they sometimes pursue bad things simply because they are bad. This latter phenomenon has often been taken to provide counterexamples to views according to which we always act under the guise of the good. This paper identifies several distinct arguments in favour of the possibility that one can act under the guise of the bad. GG seems to face more serious difficulties when trying to answer three different, (...) but related, arguments for the possibility of acting under the guise of the bad. The main strategies available to answer these objections end up either undermining the motivation for GG or failing to do full justice to the nature of perverse motivation. However, these difficulties turn out to be generated by focusing on a particular version of GG, what I call the “content version”. But we have independent reasons to prefer a different version of GG; namely, the “attitude version”. The attitude version allows for a much richer understanding of the possibility of acting on what we conceive to be bad. Drawing on an analogy with theoretical akrasia and theoretical perversion, I try to show how the attitude version can provide a compelling account of perverse actions. (shrink)

This paper argues that the principles of instrumental rationality apply primarily to extended action through time. Most philosophers assume that rational requirements and principles govern in the first instance momentary mental states, as opposed to governing extended intentional actions directly. In the case of instrumental rationality, the relevant mental states or attitudes would typically be preferences, decisions, or intentions. In fact, even those who recognize the extended nature of our agency still assume that rational requirements apply primarily to mental states (...) at a moment in time. Such views try to do justice to the extended nature of our agency by postulating rational requirements that apply in the first instance to plans, policies, and intentions more generally. The paper focuses on the central case of requirements and reasons governing the reconsideration of intentions and argues that these requirements or reasons are either superfluous or invalid.I argue that a proper conception of instrumental reasoning that applies directly to actions turn out to have surprising consequences. In fact, this conception allows us to see that policies, projects and the like are best understood as instances of extended actions, and that the instrumental requirements that apply to projects and policies are exactly the same as the instrumental requirements that apply to ordinary extended actions. Finally, I argue that the resulting theory of instrumental rationality is a significant improvement over theories that rely on principles governing intentions. (shrink)

A growing body of literature documents the important role played by moral outrage or moral anger in stakeholders’ reactions to cases of corporate social irresponsibility. Existing research focuses more on the consequences of moral outrage than a systematic analysis of how appraisals of irresponsible corporate behavior can lead to this emotional experience. In this paper, we develop and test, in two field studies, an extended model of moral outrage that identifies the cognitions that lead to, and are associated with, this (...) emotional experience. This research contributes to the existing literature on reactions to corporate social irresponsibility by explaining how observers’ evaluation of irresponsible corporate behavior leads to reactions of moral anger. The paper also helps clarify the difference between moral outrage and other types of anger and offers useful insights for managers who have to confront public outrage following cases of irresponsible corporate behavior. Finally, the analysis of the causes of stakeholders’ anger at irresponsible corporations opens important avenues for future research that are presented in the paper. (shrink)

Nota crítica a propósito de: Castro, R. y Chamorro, E. _ Para una crítica del neoliberalismo: Foucault y el Nacimiento de la biopolítica_. Madrid: Lengua de trapo. González Sánchez, I. _Neoliberalismo y castigo_. Barcelona: Bellaterra. Villacañas, J. L. _Neoliberalismo como teología política: Habermas, Foucault, Laval, Dardot y la historia del capitalismo contemporáneo_. Barcelona: NED ediciones.

This article tries to establish the scopes and limits of the main interpretations on Newton during the 20th century, highlighting on the one hand the textual evidence at disposal, and on the other hand the philosophical and epistemological currents that defines the main features of those interpretations. It will be shown that the rejection of positivism is not sufficient condition for establishing an adequate interpretation and, together with the strengthening of the research from Newton’s manuscript, it is necessary a wider, (...) and more detailed model that those established by some of the most outstanding scholars like Alexandre Koyré, I. Bernard Cohen, Betty Dobbs, and Richard Westfall. (shrink)

In trying to explain the possibility of akrasia , it seems plausible to deny that there is a conceptual connection between motivation and evaluation ; akrasia occurs when the agent is motivated to do something that she does not judge to be good . However, it is hard to see how such accounts could respect our intuition that the akratic agent acts freely, or that there is a difference between akrasia and compulsion. It is also hard to see how such (...) accounts could be extended to the realm of theoretical reason, but this is generally not taken Ito be a problem, because it is generally assumed that there is no similar phenomenon in the realm of theoretical reason. This paper argues that there is such a thing as theoretical akrasia, and that we can find a characterization of this phenomenon in Descartes’s Meditations. Drawing on certain passages in the Meditations, we can construct an account of theoretical akrasia; this account can then be adapted to resolve the original problem of akrasia in the realm of practical reason. The account asserts that there is a conceptual connection between motivation and evaluation in free action; it also enables us to show how the akratic agent is still acting freely when he does something that he does not judge to be the best all things considered. (shrink)

The practice of parkour in urban spaces by young people, especially those who call themselves traceurs, illustrates how identities are formed in an ephemeral way by reinterpreting spaces in the city – briefly and without leaving a trace. However, in a sort of paradox, these interventions are registered in the socio-digital spectrum, tokenistically anchoring and incorporating them into conversations and social interactions. This work aims to explain the practice of the sport called parkour as a socio-semiotic phenomenon. We have used (...) some zones of Mexico City as a specific case for our approach. The foregoing leads to the conclusion that the meaning of parkour goes beyond its recreational role and places it as a relevant piece of identity for excluded urban social groups – even though these practices have been appropriated by marketing strategies. Our approach will use a cultural semiotics perspective, as well as direct observations and interviews as research techniques. (shrink)